propositional calculus

n : a branch of symbolic logic dealing with propositions as

units and with their combinations and the connectives

that relate them [syn: {propositional logic}]

propositional calculus

A system of {symbolic logic}.

[More detail?].